The semantics of module specifications in Martin-Löf's type theory
- Författare
- Kent Petersson Bengt Nordström
- (Bengt Nordström, Kent Petersson.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1985 | Sverige, Göteborg | 15 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1985 | Sverige, Göteborg | 15 sidor. |